Ident. | Authors (with country if any) | Title |
---|
000407 |
Ngoc Chan Nguyen [France] ; Nattawat Nonsung [Australie] ; Walid Gaaloul [France] | Service Querying to Support Process Variant Development |
000424 |
Peter Baumgartner [Australie] ; Joshua Bax [Australie] ; Uwe Waldmann [Allemagne] | Beagle – A Hierarchic Superposition Prover |
000683 |
Shi Bai [Nouvelle-Zélande] ; Richard Brent [Australie] ; Emmanuel Thomé [France] | Root optimization of polynomials in the number field sieve |
000A66 |
Peter Baumgartner [Australie] ; Joshua Bax [Australie] ; Uwe Waldmann [Allemagne] | Finite Quantification in Hierarchic Theorem Proving |
000B32 |
Francois Petitjean [Australie] ; Jonathan Weber [France] | Efficient Satellite Image Time Series Analysis Under Time Warping |
000B86 |
Patrizio Angelini [Italie] ; David Eppstein [États-Unis] ; Fabrizio Frati [Australie] ; Michael Kaufmann [Allemagne] ; Sylvain Lazard [France] ; Tamara Mchedlidze [Allemagne] ; Monique Teillaud [France] ; Alexander Wolff [Allemagne] | Universal Point Sets for Planar Graph Drawing with Circular Arcs |
000C76 |
Michael Macfadden [États-Unis] ; Agustina Agustina [Singapour] ; Ning Gu [République populaire de Chine] ; Claudia-Lavinia Ignat [France] ; Haifeng Shen [Australie] ; David Sun [États-Unis] ; Chengzheng Sun [Singapour] | The Fourteenth International Workshop on Collaborative Editing Systems |
000D36 |
Hans Van Ditmarsch [France] ; Tim French [Australie] | Semantics for Knowledge and Change of Awareness |
000D94 |
Kattia Rojas Loría [Espagne] ; Teresa Gutiérrez Rosado [Espagne] ; Leonor María Cantera Espinosa [Espagne] ; Leda María Marenco Marrochi [Costa Rica] ; Anna Fernández Sánchez [Australie] | Trends in public health policies addressing violence against women |
000E55 |
Thomas Gotnes [France] ; Hans Van Ditmarsch [France] ; Tim French [Australie] | The undecidability of group announcements |
000F00 |
Peter Baumgartner [Australie] ; Uwe Waldmann [Allemagne] | Hierarchic Superposition: Completeness without Compactness |
001073 |
Patrizio Angelini [Italie] ; David Eppstein [États-Unis] ; Fabrizio Frati [Australie] ; Michael Kaufmann [Allemagne] ; Sylvain Lazard [France] ; Tamara Mchedlidze [Allemagne] ; Monique Teillaud [France] ; Alexander Wolff [Allemagne] | Universal Point Sets for Planar Graph Drawings with Circular Arcs |
001087 |
Samuel Nicol [Australie] ; Olivier Buffet [France] ; Takuya Iwamura [États-Unis] ; Iadine Chadès [Australie] | Adaptive Management of Migratory Birds Under Sea Level Rise |
001175 |
Peter Baumgartner [Australie] ; Uwe Waldmann [France] | Hierarchic Superposition With Weak Abstraction |
001296 |
Agustina Agustina [Singapour] ; Ning Gu [République populaire de Chine] ; Claudia-Lavinia Ignat [France] ; Michael Macfadden [États-Unis] ; Haifeng Shen [Australie] ; David Sun [États-Unis] ; Chengzheng Sun [Singapour] | The Thirteenth International Workshop on Collaborative Editing Systems |
001357 |
Tim French [Australie] ; Wiebe Hoek [Royaume-Uni] ; Petar Iliev [France] ; Barteld P. Kooi [Pays-Bas] | On the succinctness of some modal logics |
001459 |
Sanat Kumar Bista [Australie] ; Payam Aghaei Pour [Australie] ; Nathalie Colineau [Australie] ; Surya Nepal [Australie] ; Cecile Paris [Australie] | TrustVis: A Trust Visualisation Service for Online Communities |
001474 |
Andreas Bauer [Australie] ; Peter Baumgartner [Australie] ; Martin Diller [Australie] ; Michael Norrish [Australie] | Tableaux for Verification of Data-Centric Processes |
001490 |
Muneera Bano Sahibzada [Australie] ; Didar Zowghi [Australie] | Service Oriented Requirements Engineering: Practitioner’s Perspective |
001506 |
Stefan Schulte [Autriche] ; Philipp Hoenisch [Autriche] ; Srikumar Venugopal [Australie] ; Schahram Dustdar [Autriche] | Realizing Elastic Processes with ViePEP |
001517 |
Olivier Perrin [France] ; Jianmin Wang [République populaire de Chine] ; Yan Wang [Australie] | Phd Symposium Track: Message from Chairs |
001537 |
Tim French [Australie] ; John Mccabe-Dansted [Australie] ; Mark Reynolds [Australie] | Model Checking General Linear Temporal Logic |
001564 |
Alex Delis [Grèce] ; Quan Z. Sheng [Australie] | Introduction to the Demo Track |
001565 |
George Feuerlicht [République tchèque, Australie] ; Winfried Lamersdorf [Allemagne] ; Guadalupe Ortiz [Espagne] ; Christian Zirpins [Allemagne] | Introduction to the 8th International Workshop on Engineering Service-Oriented Applications (WESOA’12) |
001566 |
Stefan Schulte [Autriche] ; Philipp Hoenisch [Autriche] ; Srikumar Venugopal [Australie] ; Schahram Dustdar [Autriche] | Introducing the Vienna Platform for Elastic Processes |
001567 |
Ross Brown [Australie] ; Hye-Young Paik [Australie] ; Alistair Barros [Australie] | Interactive Product Browsing and Configuration using Remote Augmented Reality Sales Services |
001571 |
Talal H. Noor [Australie] ; Quan Z. Sheng [Australie] ; Abdullah Alfazi [Australie] ; Jeriel Law [Australie] ; Anne H. H. Ngu [États-Unis] | Identifying Fake Feedback for Effective Trust Management in Cloud Environments |
001588 |
George Feuerlicht [République tchèque, Australie] | Evaluation of Quality of Design for Document-Centric Software Services |
001612 |
Björn Lellmann [Royaume-Uni] ; Dirk Pattinson [Royaume-Uni, Australie] | Correspondence between Modal Hilbert Axioms and Sequent Rules with an Application to S5 |
001632 |
Xiwei Xu [Australie] ; Ingo Weber [Australie] ; Liming Zhu [Australie] ; Yan Liu [États-Unis, Australie] ; Paul Rimba [Australie] ; Qinghua Lu [Australie] | BPMashup: Dynamic Execution of RESTful Processes |
001644 |
Mahboobeh Moghaddam [Australie] | An Auction-Based Approach for Composite Web Service Selection |
001655 |
Chen Wang [Australie] ; Meng Meng [Australie] ; Xiangmin Zhou [Australie] ; Rajiv Ranjan [Australie] | A Social Network Based Collaborative Video Story Composition Platform |
001663 |
Jinhui Yao [Australie] ; Alex Ng [Australie] ; Shiping Chen [Australie] ; Dongxi Liu [Australie] ; Carsten Friedrich [Australie] ; Surya Nepal [Australie] | A Performance Evaluation of Public Cloud Using TPC-C |
001668 |
Zhé H U [Australie] ; Alwen Tiu [Australie] ; Rajeev Goré [Australie] | A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search |
001698 |
Pakawat Pupatwibul [Australie] ; Ameen Banjar [Australie] ; Robin Braun [Australie] | Using DAIM as a Reactive Interpreter for OpenFlow Networks to Enable Autonomic Functionality |
001717 |
HANTI LIN [Australie] | Foundations of Everyday Practical Reasoning |
001724 |
Guido Governatori [Australie] ; Francesco Olivieri [Australie, Italie] ; Antonino Rotolo [Italie] ; Simone Scannapieco [Australie, Italie] | Computing Strong and Weak Permissions in Defeasible Logic |
001755 |
Hans Van Ditmarsch [France] ; Tim French [Australie] ; Fernando R. Velázquez-Quesada [Espagne] ; Yi N. Wáng [République populaire de Chine] | Knowledge, awareness, and bisimulation |
001761 |
Jaber Al Yamani [Australie] ; Farid Boussaid [Australie] ; Amine Bermak ; Dominique Martinez [France] | Experimental evaluation of latency coding for gas recognition |
001845 |
Sonja Kabicher-Fuchs [Autriche] ; Stefanie Rinderle-Ma [Autriche] ; Jan Recker [Australie] ; Marta Indulska [Australie] ; Francois Charoy [France] ; Rob Christiaanse [Pays-Bas] ; Reinhold Dunkl [Autriche] ; Gregor Grambow [Allemagne] ; Jens Kolb [Allemagne] ; Henrik Leopold [Allemagne] ; Jan Mendling [Autriche] | Human-Centric Process-Aware Information Systems (HC-PAIS) |
001A14 |
Iadine Chadès [Australie] ; Josie Carwardine [Australie] ; Tara Martin [Australie] ; Samuel Nicol [États-Unis] ; Régis Sabbadin [France] ; Olivier Buffet [France] | MOMDPs: a Solution for Modelling Adaptive Management Problems |
001A44 |
Joerg Hoffmann [France] ; Ingo Weber [Australie] ; Frank Kraft [Allemagne] | SAP Speaks PDDL: Exploiting a Software-Engineering Model for Planning in Business Process Management |
001A64 |
Emil Keyder [France] ; Joerg Hoffmann [France] ; Patrik Haslum [Australie] | Semi-Relaxed Plan Heuristics |
001D12 |
Jaber Al Yamani [Australie] ; Farid Boussaid [Australie] ; Amine Bermak [République populaire de Chine] ; Dominique Martinez [France] | Glomerular Latency Coding in Artificial Olfaction |
001F16 |
Shi Bai [Australie] ; Paul Zimmermann [France] | Size Optimization of Sextic Polynomials in the Number Field Sieve |
001F34 |
Shi Bai [Australie] ; Emmanuel Thomé [France] ; Paul Zimmermann [France] | Factorisation of RSA-704 with CADO-NFS |
002280 |
Iadine Chadès [Australie] ; Josie Carwardine [Australie] ; Tara Martin [Australie] ; Samuel Nicol [États-Unis] ; Olivier Buffet [France] | Les POMDP: une solution pour modéliser des problèmes de gestion adaptative en biologie de la conservation |
002488 |
Otfried Cheong [Corée du Sud] ; Hazel Everett [France] ; Marc Glisse [France] ; Joachim Gudmundsson [Australie] ; Samuel Hornus [France] ; Sylvain Lazard [France] ; Mira Lee [Corée du Sud] ; Hyeon-Suk Na [Corée du Sud] | Farthest-Polygon Voronoi Diagrams |
002624 |
Tatyana Chesnokova [Australie] ; Rhema Vaithianathan [Nouvelle-Zélande] | The Economics of Female Genital Cutting |
002648 |
Imants Svalbe [Australie] ; Nicolas Normand [Australie, France] | Properties of Minimal Ghosts |
002654 |
Nicolas Normand [France, Australie] ; Robin Strand [Suède] ; Pierre Evenou [France] ; Aurore Arlicot [France] | Path-Based Distance with Varying Weights and Neighborhood Sequences |
002693 |
Imants Svalbe [Australie] ; Shekhar Chandra [Australie] | Growth of Discrete Projection Ghosts Created by Iteration |
002799 |
M. Takruri [Australie] ; S. Rajasegarar [Australie] ; S. Challa [Australie] ; C. Leckie [Australie] ; M. Palaniswami [Australie] | Spatio-temporal modelling-based drift-aware wireless sensor networks |
002833 |
Richard Brent [Australie] ; Paul Zimmermann [France] | The Great Trinomial Hunt |
002838 |
Stijn Heymans [États-Unis] ; Joerg Hoffmann [France] ; Annapaola Marconi [Italie] ; Joshua Phlipps [États-Unis] ; Ingo Weber [Australie] | Semantic Web Services Fundamentals |
002B63 |
Richard Brent [Australie] ; Paul Zimmermann [France] | An O(M(n) log n) algorithm for the Jacobi symbol |
002B82 |
Joerg Hoffmann [France] ; Ingo Weber [Australie] ; Frank Kraft [Allemagne] | SAP Speaks PDDL |
002E72 |
Andrew Teel [États-Unis] ; Dragan Nesic [Australie] ; Antonio Loria [France] ; Elena Panteley [France] | Summability Characterizations of Uniform Exponential and Asymptotic Stability of Sets For Difference Inclusions |
002F12 |
Ingo Weber [Australie] ; Joerg Hoffmann [France] ; Jan Mendling [Allemagne] | Beyond Soundness: On the Verification of Semantic Business Process Models |
002F94 |
Ivan Morel [Australie, France] ; Damien Stehlé [Australie] ; Gilles Villard [France] | Analyse numérique et réduction de réseaux |
003123 |
Jérémie Detrey [France] ; Guillaume Hanrot [France] ; Xavier Pujol [France] ; Damien Stehlé [Australie, France] | Accelerating Lattice Reduction with FPGAs |
003126 |
Thorsten Kleinjung [Suisse] ; Joppe W. Bos [Suisse] ; Arjen K. Lenstra [Suisse] ; Dag Arne Osvik [Suisse] ; Kazumaro Aoki [Japon] ; Scott Contini [Australie] ; Jens Franke [Allemagne] ; Emmanuel Thomé [France] ; Pascal Jermini [Suisse] ; Michela Thiémard [Suisse] ; Paul Leyland [Royaume-Uni] ; Peter L. Montgomery [États-Unis, Pays-Bas] ; Andrey Timofeev [Pays-Bas] ; Heinz Stockinger [Suisse] | A heterogeneous computing environment to solve the 768-bit RSA challenge |
003129 |
Peter Eklund [Australie] ; Jean Villerd [France] | A Survey of Hybrid Representations of Concept Lattices in Conceptual Knowledge Processing |
003234 |
Sylvie Thiébaux [Australie] ; Olivier Buffet [France] | Operations Planning |
003288 |
Andrew Teel [États-Unis] ; Dragan Nesic [Australie] ; Antonio Loria [France] ; Elena Panteley [France] | Uniform stability of sets for difference inclusions under summability criteria |
003342 |
Michel Crampes [France] ; Jeremy Oliveira-Kumar [Australie] ; Sylvie Ranwez [France] ; Jean Villerd [France] | Visualizing Social Photos on a Hasse Diagram for Eliciting Relations and Indexing New Photos |
003677 |
Boualem Benatallah [Australie] ; Fabio Casati [Italie] ; Dimitrios Georgakopoulos [Australie] ; Claude Godart [France] | WISE 2007 Extended Best Papers |
003682 |
Antonio Loria [France] ; Dragan Nesic [Australie] ; Elena Panteley [France] ; Andrew Teel [États-Unis] | ON STABILITY OF SETS FOR SAMPLED-DATA NONLINEAR INCLUSIONS VIA THEIR APPROXIMATE DISCRETE-TIME MODELS AND SUMMABILITY CRITERIA |
003963 |
Xue-Gang Tang [Australie] ; Wei Yang [République populaire de Chine] ; Gui-Fang Shan [République populaire de Chine] ; Bang-Hu Xie [République populaire de Chine] ; Ming-Bo Yang [République populaire de Chine] ; Meng Hou [Australie] | Double yielding in PA6/TPV‐MAH blends: Effect of crosslinking degree of the dispersed phase |
003D85 |
Nawal Guermouche [France] ; Boualem Benatallah [Australie] ; Claude Godart [France] | Data Messaging Based Approach For Web Service Composition |
004018 |
Richard Brent [Australie] ; Pierrick Gaudry [France] ; Emmanuel Thomé [France] ; Paul Zimmermann [France] | Faster Multiplication in GF(2)[x] |
004202 |
Richard Brent [Australie] ; Paul Zimmermann [France] | A Multi-level Blocking Distinct Degree Factorization Algorithm |
004223 |
Michael R. Skilton [France, Australie] ; Martine Laville [France] ; Anne E. Cust [France, Australie] ; Philippe Moulin [France] ; Fabrice Bonnet [France] | The association between dietary macronutrient intake and the prevalence of the metabolic syndrome |
004233 |
Bobby John [Australie, Inde] ; Martin K. Stiles [Australie] ; Pawel Kuklik [Australie] ; Sunil T. Chandy [Inde] ; Glenn D. Young [Australie] ; Lorraine Mackenzie [Australie] ; Lukasz Szumowski [Pologne] ; George Joseph [Inde] ; Jacob Jose [Inde] ; Stephen G. Worthley [Australie] ; Jonathan M. Kalman [Australie] ; Prashanthan Sanders [Australie] | Electrical remodelling of the left and right atria due to rheumatic mitral stenosis |
004365 |
Mohd Naz I Mahrin [Australie] ; David Carrington [Australie] ; Paul Strooper [Australie] | Investigating Factors Affecting the Usability of Software Process Descriptions |
004389 |
Richard P. Brent [Australie] ; Pierrick Gaudry [France] ; Emmanuel Thomé [France] ; Paul Zimmermann [France] | Faster Multiplication in GF(2)[ x ] |
004453 |
P. P. Gami [Australie] ; K. Sandrasegaran [Australie] | Network controlled handover scheme for heterogeneous network |
004477 |
Sylvie Thiébaux [Australie] ; Olivier Buffet [France] | Planification d'opérations |
004A72 |
Farhad Daneshgar [Australie] ; Gérôme Canals [France] ; Alicia Diaz [Argentine] | An Awareness Framework for Divergence Knowledge Communities. |
004B54 |
Damián Barsotti [Argentine] ; Leonor Prensa Nieto [France] ; Alwen Tiu [Australie] | Verification of clock synchronization algorithms: experiments on a combination of deductive tools |
004C63 |
Otfried Cheong [Corée du Sud] ; Hazel Everett [France] ; Marc Glisse [France] ; Joachim Gudmundsson [Australie] ; Samuel Hornus [Corée du Sud] ; Sylvain Lazard [France] ; Mira Lee [Corée du Sud] ; Hyeon-Suk Na [Corée du Sud] | Farthest-Polygon Voronoi Diagrams |
004F27 |
Pierrick Gaudry [France] ; Thomas Houtmann [France] ; David Kohel [Australie] ; Christophe Ritzenthaler [France] ; Annegret Weng [France] | The 2-adic CM method for genus 2 curves with application to cryptography |
005202 |
Ustun Yildiz [France] ; Olivera Marjanovic [Australie] ; Claude Godart [France] | Contract-Driven Cross-Organizational Business Processes |
005325 |
Olivier Buffet [Australie] ; Alain Dutech [France] ; François Charpillet [France] | Etude de différentes combinaisons de comportements adaptatives |
005376 |
P. Gaudry [France] ; T. Houtmann [France] ; D. Kohel [Australie] ; C. Ritzenthaler [France] ; A. Weng [France] | The 2-Adic CM Method for Genus 2 Curves with Application to Cryptography |
005423 |
Damien Stehlé [France, Australie] | On the Randomness of Bits Generated by Sufficiently Smooth Functions |
005453 |
Phong Q. Nguyen [France] ; Damien Stehlé [France, Australie] | LLL on the Average |
005550 |
Alwen Tiu [Australie] | A Local System for Intuitionistic Logic |
005560 |
A. N. Pettitt [Australie] ; T. T. Tran [Australie] ; M. A. Haynes [Australie] ; J. L. Hay [Australie] | A Bayesian hierarchical model for categorical longitudinal data from a social survey of immigrants |
005755 |
Olivera Marjanovic [Australie] ; Hala Skaf-Molli [France] ; Pascal Molli [France] ; Claude Godart [France] | Innovative Learning Designs Enabled by Process-Driven Collaborative Editing |
005985 |
Farhad Daneshgar [Australie] ; Gérôme Canals [France] ; Alicia Diaz [France] | Process Awareness in Divergence-supportive Knowledge Communities |
005A08 |
Farhad Daneshgar [Australie] ; Gérôme Canals [France] ; Alicia Diaz [France] | Knowledge Workspace Design Schema for Mass Customisation Knowledge Communities |
006126 |
C. L. Tisse [Australie] ; L. Torres [France] ; L. Martin [France] ; M. Robert [France] | Systèmes biométriques pour la vérification d'individu. Un exemple: l'iris |
006151 |
Olivier Buffet [Australie, France] ; Alain Dutech [France] ; François Charpillet [France] | Développement autonome des comportements de base d’un agent |
006209 |
Esther M. Briganti [Australie] ; Peter G. Kerr ; Jonathan E. Shaw [Australie] ; Paul Z. Zimmet [Australie] ; Robert C. Atkins | Prevalence and treatment of cardiovascular disease and traditional risk factors in Australian adults with renal insufficiency |
007A70 |
Karim Baïna [France, Australie] ; Khalid Benali [France] ; Claude Godart [France, Australie] | Dynamic Interconnection of Heterogeneous Workflow Processes through Services |
007A78 |
Jun Yan [Australie] ; Yun Yang [Australie] ; Gitesh K. Raikundalia [Australie] | Decentralised Coordination for Software Process Enactment |
008805 |
Kerry Trentelman [Australie] ; Marieke Huisman [France] | Extending JML Specifications with Temporal Logic |
009355 |
Philip D. Carter [Nouvelle-Zélande] ; Jon D. Patrick [Nouvelle-Zélande] ; Frank P. Deane [Australie] | EXCOVE and using videos in knowledge elicitation |
009361 |
Paolo Bottoni [Italie] ; Bernd Meyer [Australie] ; Kim Marriott [Australie] ; Francesco Parisi Presicce [Italie] | Deductive Parsing of Visual Languages |
009692 |
Guillaume Hanrot [France] ; Natarajan Saradha [Australie] ; Tarlok Shorey [Australie] | Almost perfect powers in consecutive integers |
009D16 |
Adnan Amin [Australie] | Recognition of printed arabic text based on global features and decision tree learning techniques |
009D46 |
Bert Peeters [Australie] | Guimier, Claude (éd.), La Thématisation dans les langues. Actes du colloque de Caen, 9–11 octobre 1997. (Sciences pour la communication, 53). Bern etc.: Lang, 1999, 455 pp. 3 906759 59 8. |
009E97 |
Stefania Cavallar [Pays-Bas] ; Bruce Dodson [États-Unis] ; Arjen K. Lenstra [États-Unis] ; Walter Lioen [Pays-Bas] ; Peter L. Montgomery [États-Unis, Pays-Bas] ; Brian Murphy [Australie] ; Herman Te Riele [Pays-Bas] ; Karen Aardal [Pays-Bas] ; Jeff Gilchrist [Canada] ; Gérard Guillerm [France] ; Paul Leyland [Royaume-Uni] ; Jöel Marchand [France] ; François Morain [France] ; Alec Muffett [Royaume-Uni] ; Chris And Craig Putnam [États-Unis] ; Paul Zimmermann [France] | Factorization of a 512-Bit RSA Modulus |
009F86 |
M. W. Bunder [Australie] | Proof finding algorithms for implicational logics |
00A842 |
Ian Tyrrell [Australie] | Making Nations / Making States: American Historians in the Context of Empire |
00A999 |
Stefania Cavallar [Pays-Bas] ; Bruce Dodson [États-Unis] ; Arjen Lenstra [États-Unis] ; Paul Leyland [Royaume-Uni] ; Walter Lioen [Pays-Bas] ; Peter L. Montgomery [États-Unis, Pays-Bas] ; Brian Murphy [Australie] ; Herman Te Riele [Pays-Bas] ; Paul Zimmermann [France] | Factorization of RSA-140 Using the Number Field Sieve |
00AA34 |
B. C. Warboys [Royaume-Uni] ; D. Balasubramaniam [Royaume-Uni] ; R. M. Greenwood [Royaume-Uni] ; G. N. C. Kirby [Royaume-Uni] ; K. Mayes [Royaume-Uni] ; R. Morrison [Royaume-Uni] ; D. S. Munro [Australie] | Collaboration and Composition: Issues for a Second Generation Process Language |
00AA97 |
S. Cavallar [Pays-Bas] ; W. Lioen [Pays-Bas] ; H. Te Riele [Pays-Bas] ; B. Dodson [États-Unis] ; A. Lenstra [États-Unis] ; P. Leyland [Royaume-Uni] ; P. L. Montgomery [États-Unis] ; B. Murphy [Australie] ; P. Zimmermann [France] | Factorization of RSA-140 using the number field Sieve |
00B233 |
John Maraist [Australie] ; Martin Odersky [Australie] ; Philip Wadler [Australie] | The call-by-need lambda calculus |
00B240 |
Adnan Amin [Australie] | Off-line Arabic character recognition |
00B327 |
A. Amin [Australie] ; S. Singh [Royaume-Uni] | Recognition of hand-printed Chinese characters using decision trees/machine learning C4.5 system |
00BC20 |
M. R. K. Krishna Rao [Inde, Australie] ; D. Kapur [États-Unis] ; R. K. Shyamasundar [Inde] | Proving termination of GHC programs |
00BC46 |
Peter Eades [Australie] ; Joe Marks [États-Unis] ; Stephen North [États-Unis] | Graph-Drawing contest report |
00BF49 |
Adnan Amin [Australie] ; Humoud Al-Sadoun [Koweït] ; Stephen Fischer [Australie] | Hand-printed arabic character recognition system using an artificial network |
00BF77 |
Rosemary Irrgang [Australie] ; Henry Irrgang [Australie] | An intelligent snake growing algorithm for fuzzy shape detection |
00C610 |
Christopher Nolan [Australie] ; Joseph Proietto [Australie] | The effects of oophorectomy and female sex steroids on glucose kinetics in the rat |
00C626 |
Roger Duke [Australie] ; Gordon Rose [Australie] ; Graeme Smith [Australie] | Object-Z: A specification language advocated for the description of standards |
00C770 |
Yun Yang [Australie] | Coordination for process support is not enough! |
00D634 |
Wolfgang Emmerich [Allemagne] ; Wilhelm Sch Fer [Allemagne] ; Jim Welsh [Australie] | Suitable databases for process-centred environments do not yet exist |
00D990 |
E. C. Grunsky [Australie] ; F. P. Agterberg [Canada] | SPFAC: A FORTRAN-77 program for spatial factor analysis of multivariate data |
00E324 |
J L. Lassez [États-Unis] ; M. J. Maher [États-Unis] ; K. Marriott [États-Unis, Australie] | Unification revisited |
00F108 |
A. Oksche [Allemagne, Australie] ; Donald S. Farner [Allemagne, Australie] ; D. L. Serventy [Allemagne, Australie] ; Frank Wolff [Allemagne, Australie] ; C. A. Nicholls [Allemagne, Australie] | The hypothalamo-hypophysial neuro secretory system of the zebra finch, Taeniopygia castanotis |